%\section{Auxiliary Definitions}
%\input{app-auxdef}

\section{Proofs from Section \ref{s:calculi}}
\input{app-calc}

\section{Proofs from Section \ref{s:ev1}}

\subsection{Proof of Lemma \ref{th:corrE1}}\label{app:e1}
\input{app-mmev1}


\section{Proofs from Section \ref{s:ev2}}
%\subsection{Proof of Theorem \ref{th:scccs}}\label{app:th:scccs}
%\input{app-dece2}

\subsection{Proof of Lemma \ref{th:corrE2}}\label{app:e2}
\input{app-mmev2}


\section{Proofs from Section \ref{s:ev3}}

\subsection{Proof of Lemma \ref{th:corrE3}}\label{app:e31}
\input{app-mmev3}

\subsection{Proof of Lemma \ref{l:pn}}\label{app:e32}
\input{app-pnev3}
